type pcn = bool * ((int * Mn.Factor.MP.pfactor list) list)
